TAGs: y=-sqrt x+1